OK. 

Regarding C would be great to be able to:
```
macro envify(def: Def): Def = def.mapImplParams(_ +: q"implicit val env: Env = Env.empty")
@envify def evalFoo(foo: Foo): Any = ...
```