Remove VerifyConstraintName

This is now checked at parsing stage.
Change ConstraintSyntax.range.body_syntax from ConstraintSyntax* to BodyTypeSyntax*