code: public NominalTypeBuilder superClass() {
      FunctionType ctor = instance.getSuperClassConstructor();
      if (ctor == null) {
        return null;
      }
      return new NominalTypeBuilder(ctor, ctor.getInstanceType());
    }
docs: Returns a NominalTypeBuilder for this type's superclass.