Basic type simplification
Update TODO list
un-break let polymorphism again
Those tests sucked anyway
Simplify the simplifier
Added match syntax construct