Added new types in tree. Editted isEquivalent and isAssignable in Type.java
Merge branch 'master' of git://github.com/kalvinnchau/cse131