Simplify signatures using tyxml's signature functors

Export correctly wrap equalities.
Do not erase Html5.Xml and Svg.Xml (they are needed by the syntax extension).
Use explicitly tot and toelt for coercions with Xml.elt.