Changed function module to maintain a set of axioms rather than a list. Added some functionality to exponential module.