Added support for BinAdd, BinSub expressions, and constants in typechecking.
Constants are supported by ignoring null ASaP Types which correspond to constants.