Added new macros from On Lisp, as well as changes to memoization
allowing any lambda list in the function definition; the only downside
is that the lambda list is not available via SLIME.