Fixing type checking for cases
Merge branch 'master' of https://github.com/gshubham/CS143P3
Added type checking for primitive expressions