public DomainReflectiveType(DomainReflectivePackage evaluationPackage, DomainType domainType) { super(domainType.getName(), evaluationPackage, computeFlags(domainType)); this.standardLibrary = evaluationPackage.getStandardLibrary(); this.domainType = domainType; }