books/axiom.sty add the sig markup

Shows the signature of a lisp function so
   \sig{mkprompt}{Void}{String}
generates
   {\bf mkprompt} : {\bf Void} $->$ {\bf String}
which formats to
   mkprompt : Void -> String
and an index of mkprompt under signatures