support property constraint without bindings
more restrictive clauses
adopted syntax for messages as discussed this morning
more with clauses
fixed AST for empty constraint/condition lists
with clauses revealed a missing rule for constraints-to-match-rules
adopting generation for new property interfaces