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