Type checking on expr
Merge branch 'master' of https://github.com/tkim371/CS4240

better implementation on expr
modified expr type checking
fixed issues with type checking in expr