Worked on desugaring literals.

SugarFree literals are monomorphic.
Minor fixes, dropped Constant.
Added support for pragma annotations in expressions.
Added separate hw type for strict functions.