Encoding CIC in XML: terms and objects
We have (lambda)terms, objects, sections.