Semantics for Loop statements, added some missing isBool/Int for expns
fixed some invalid success tests
Semantics for exit statements