Working on constraint equivalence.
Merge branch 'constr' of github.com:cplusplus/concepts-ts into constr
Define constraint equivalence.