typechecking improvements
Cleaning the front-end
Nop problem remaining
Removed storage buffer - maps labels to types