Implemented isSubtype + LUB w/o SELF_TYPE