Rename BodySyntax -> ConstraintSyntax

Because, that's what it is.