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