Added support for div ( / ) in Token
Added support for Star and Div in Lexer, perhaps Star was guarded at the Lexer stage? It seems like there is more to it implemented.
Added support for Div in Parser. Div and Star should be syntactically included at this point.
I should check to make sure things compile BEFORE I commit...
Added support to Debug and Language, the mess of templates makes me feel like i'm not adding any functionality at all.
Mistakes happen in threes right? Added support to Elaborator Div should be fully fleshed out as far as semantics are concerned.
Elaborator now correctly interrupts Mul and Div. There is a as<Int> cast in Factory make which will cause a crash for malformed input (e.g. forall x. forall y. x*y == 1). Not sure exactly why or how to prevent.