Encoding CIC in XML: terms and objects
We have (lambda)terms, objects, sections.
Terms never occur alone (would have no meaning), but only inside objects ===> markup for terms will be nested inside markup for objects