Add skeleton functions and ironclad-wrappers to number-theory.lisp