SumFunctionExpressionCheckerTask SummandsAreIdentitiesCheckerTask ProductAndConstructorFunctionExpressionCheckerTask FunctionTypeConflictDeterminationTask NamedTypeReferenceReferencerTask GeneralizationReferencerTask SpecializationReferencerTask TypedFinalMapReferencerTask TypedIdentityReferencerTask TypedProjectionReferencerTask ConstructorGeneratorTask SubTypeCalculatorTask HierarchyCheckerTask CoDomainCheckerTask DomainCheckerTask TypeChecker CoercerAndAbstractTypesChecker CoercerCheckerTask CoercerEndsWithConstructorChecker NamedFunctionReferenceReferencerTask EvaluableExpressionStartFromEmptyProductTask EvaluableFunctionsAreSequentialTask SequenceDoesNotEndWithFinalMapCheckerTask DomainCoDomainSubtypeCheckerTask CoercerFunctionGeneratorTask