Type-safe staged metaprogramming for Scala with quasiquotation and code pattern matching. syntax-case, basically.