Implemented variable scoping and semantic checking for Decl and Assign