more compact XML;

more compact XML;

more compact XML representation;

Term_XML.Encode/Decode.term uses Const "typargs";

tuned;

more uniform Term and Term_XML modules;

more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values;

tuned XML modules;

inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control);
tuned signature;

lambda terms with XML data representation in Scala;
avoid `class` in signature;

XML data representation of lambda terms;