Moved exp, log, and abs axioms to the Builtins module.