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;