Reorganize constraint synonyms.
Convenience function to bind ?factory parameter.