Compiler plugin for making type lambdas (type projections) easier to write