Define a function symbol and generate a warrant
Defun$ is just a macro that expands to the obvious defun followed by defwarrant.
