Added some methods onto ParamForest.
Optimization.
Optimization.
Fixed something and implemented something.
Implemented the withEmptyTypeParamForestS method.
Fixed.
Fixed.
Optimization.
Fixed.
Refactoring.
Optimization.
Optimization.
Added typeValueTermIdentitiesFromTypeValueTerm and
typeIdentityFromTypeValueTermS.
Adapted instance table to optimization.
Fixed.
Fixed.
Some commit.
Returned to old version.
Returned to old version.
Removed global mismatchings.