classThis class is an implementation of['a node #extension as 'a]super_root_impl :'a ->['a]node
node which
realizes super root nodes. You can create a new exemplar by
let exemplar = new super_root_impl ext_obj
which creates an empty super root which already contains a
reference to the extension ext_obj, but is otherwise empty.
Use the method Pxp_document.node.create_other on the exemplar
to get a filled copy
of the examplar (i.e. we need two steps to create nodes).