Note that this module is currently not used at all in our Prototypical Implementation of "An Algebraic Dexter-Based Hypertext Reference Model" which is explained here.