Removed old type ordering code
Added Statement classes and related compiler implementations