Easy Static Checking for Embedded DSLs in Scala with Contextual by Jon Pretty