public IType getISubtype() {
   return subtype.getIType();
 }
 public IType getISupertype() {
   return supertype.getIType();
 }