Update defun to return the function name, rather than nil.
Add file containing the recursive S-functions defined in the paper.

These functions are defined in the section titled, "Recursive Functions
of Symbolic Expressions".