Renamed expression classes and operator methods.
Updated todo
Reordered expression packages
Improvements on typechecker.
Better type checking by compiler
New control types
Merge branch 'master' into martyn82