Flatten the sources, only leave the XPath module packed.
Fix the handling of attributes: - make use of the Is_attribute predicate in formulæ - Change the encoding of attributes in the tree structure (attributes are now proper children with a particular marker in the tag name).
Only print ∑ instead of ∑-{} when the set is universal.
Refactor module organisation and build process.