rm TypeParse.y
Fix function "consistent" TypeInf

Pattern matching is now exhaustive
Add operator mod (modular arithmetic)
Add zero division error handling to EvalLazy