added transform type checking for assignment, initialization
added expression type checking, modified parse helper to catch lex errors