fixed sem. fun. for sequencing

both statements in sequence use the same env; disabled global variables;
fixed semantics for declarations and assignment; fixed tests for new
semantics