Core factory for maximal sharing of arbitrary objects
http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATermLibrary