Bugfix for add/subtract operators (removed ambiguity with signed numbers). Added explicit unary minus.
Added analysis annotation category. Refactored expression annotations.
Minor fix to get the codebase to build.
Added alias analysis for binds. Refactored alpha transform to use syntax annotation.