Improve Coalton <-> Lisp bridge

[stylewarning]

COALTON-USER isn't a very nice package to use. Make it easy to write Coalton inside of Lisp without 100s of package qualifiers.

This will require answering the question "Can one use COMMON-LISP symbols for Coalton-defined functions?" The current answer is "no" since we define symbol macros/global static vars with those names.