Improved syntax for axioms, and fixed a number of small mistakes in the function module.
Improved syntax for axioms, and fixed a number of small mistakes in the function module.