added primitive types to constraints.scm