constraint-type definitions in constraints.scm