Externalized the value-type that rules read from Gstate.t to avoid circularity.
Rewriting Rules module from class-internals to a step-wise inclusion of functorized sub-modules.