Added type tasks and error messages for standard numerical operators.
Added binary and unary numerical promotion.
Added type equality tasks.
Removed plus desugaring.
Change constructor of % operator to Mod.