pulling expr change
Merge branch 'master' of https://github.com/lalalah/Compilers-PS4
fixed subTypeOf(that), that is top case
Merge branch 'master' of https://github.com/lalalah/Compilers-PS4