Fix forward decl semantics
Semantics for Get stmt
Add some missing semantics for expns
move tests to right folder, documentation