Fixed.
Optimization.
Fixed.
Refactoring.
Optimization.
Optimization.
Added typeValueTermIdentitiesFromTypeValueTerm and
typeIdentityFromTypeValueTermS.