I wonder how such properly-designed extensions would look like in Common Lisp or any other language with similar metaprogramming capabilities.