public virtual bool IsSupertype(TypeBool checkType) { return(false); }
public override bool IsSupertype(TypeBool checkType) { return(true); }