added test for WRITE_STRUCT, correctly caught
changed returns in typeCheck()s so that all type errors are caught, swapped WRITE_STRUCT and WRITE_STRUCT_VAR in typeCheck() of WriteStmtNode