bug fixes in caching and others
merge smart conses
bugfixing make-merged-conses
merge smart constructors
mergeg smart constructors for base languages