Update NumberTypeInferenceRule to act in analysis phase.
Currently handles binary comparison but not BETWEEN tokens.
Support BETWEEN tokens in NumberTypeInferenceRule.
Move more logging to debug level.
Cleanup commented-out code.
Limit lowering rules to the LOWERING phase.