up to paradise version 2.0-M2
passing in arbitrary val definitions
latest verson
showing how to splice newTypeNames into tq type-quasiquotes to make an artificial val x: Option[String]