Fix a bug related to the subtype polymorphism. Thanks XuDi for this bug report.
Merge branch 'Lab3' of https://github.com/bjhua/tiger into Lab3
Merge branch 'Lab3' into Lab4
Merge branch 'Lab4' of https://github.com/bjhua/tiger into Lab4