BooleanExpression
Semantically analyze Expression. Determine types, fold constants, e
See Implementation
BooleanExpression