Replace macros TypeM, TypeU, Int, Bool, True and False with constant global expressions. The macros were producing counterintuitive behavior. For example, we had an enumeration type with an element called Int.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>