Waterhouse wrote an Arc interpreter on top of Arc with continuations, and first-class macros and first-class special forms. Scanning over his submission form (http://lispinsummerprojects.org/static/summer/250119.pdf), it also interestingly lets quasiquote be defined as a macro.