Squid is a remarkable quasiquotation library that ensures all of your code transformations are sound! It checks for types and free variables, and has a really neat way of pattern-matching on code with alpha conversion.