Auxiliary macros for Coq to Emacs Lisp / Common Lisp Extraction