Added The ability to serialise Functors (necessary for handling non-triple axioms, as can be done in RIF)