typechecking improvements
Cleaning the front-end
Nop problem remaining
Removed storage buffer - maps labels to types
another memory bug
All is working