bridge_constraint function

[blegat]

Currently, bridges are instantiated with the bridge constructor but this has the disadvantage of creating method ambiguities if the bridge has three fields which forces the constructor signature to also include all the type constraints of the bridge type.
We could add a bridge_constraint to avoid relying on the constructor.