more documentation for constraints.scm