Get rid of ConstraintSetSyntax for PromiseTypeSyntax

BodyTypeSyntax and PromiseTypeSyntax need different check functions.
Get rid of ConstraintSetSyntax for BodyTypeSyntax