Merge pull request #2 from drewying/master

Fixing operators on Expression subclasses. Adding generate debug symbol ...
Emit TLA for binary operators
Emit code for expressions not involving lvalues
Add extention point for CFG based optimizations
AST implementation of For