Prittier code, `negate`, `succ` and `pred`
Added a cool pragma, `LambdaCase`
TODO
Functions now don't have width including parameters
Loops, Scopes, break, continue, for, return.
functionDef doesn't work greate yet.