lib(termmanip)

   Built-ins to convert, compose, decompose and modify terms

