Renamed expression classes and operator methods.
Updated todo
Reordered expression packages
Improvements on typechecker.
Better type checking by compiler
New control types