Remove VerifyConstraintName

This is now checked at parsing stage.
Change ConstraintSyntax.range.body_syntax from ConstraintSyntax* to BodyTypeSyntax*
Get rid of ConstraintSetSyntax for PromiseTypeSyntax

BodyTypeSyntax and PromiseTypeSyntax need different check functions.
Get rid of ConstraintSetSyntax for BodyTypeSyntax
Change type of CONTROL_BODIES from PromiseTypeSyntax to BodyTypeSyntax, because its a body
For action bodies, check that log_repaired is accompanied by log_string

Close #789 (Enterprise)
Merge remote branch 'upstream/master'