Return const pointer from PromiseTypeSyntaxLookup, for consistency
Hook promise type validation up to parser, move from semantics
Validate body type directly from parser
Rename CF_ALL_BODIES -> CONTROL_BODIES
Introduce ConstraintSetSyntax
Constify members of VarRef to avoid warnings, VarRefs are always immutable