some changes for type checking'
Merge branch 'master' of https://github.com/tkim371/CS4240

Conflicts:
	Phase2/Working/HashTable/Array.java
	Phase2/Working/HashTable/Tiger.g
	Phase2/Working/HashTable/Type.java
	Phase2/Working/HashTable/UserType.java
fixed merge
Arith type checking
merge conflict