Removed TupleT from LogicalTypeValueTermInfo.
Added normalizedTypeValueNodeForChecking.
Removed TypeIdentity.
Implemented matchesLocigalTypeValueTermsS
Added typeValueTermEqual.
Added exception of fieldset1 and fieldset2.
Fixed.
Reimplemented TypeValueTerm.& and TypeValueTerm.| for
LogicalTypeValueTerm.
Reimplemented type functions: ##&, ##|.
Fixed.
Added unsafeAllocateTypeParamsFromLogicalTypeValueTermS.
Added replaceLogicalTypeValueNodeParamsS.
Fixed handling of type parameters at algorithm.
Added partiallyInstantiateLogicalTypeValueTermS.
Added instantation onto matchesLocigalTypeValueTermsS.
Implemented logicalTypeValueTermFromTypeValueTermS for unifier.
Added LogicalTypeValueTermUtils.
Added normalizeTypeParamForParamsS.
Fixed.
Fixed.