removed constraintAnalysis from the NominalType