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