Scala compiler plugin for boilerplate-free context propagation and scope injection
Re-type-checking Scala ASTs