Type-level deps/revdeps for transformations

[0xd34df00d]

As a side note, it also gives fairly readable error messages:

src/Pirouette/Runner.hs:123:3: error:
    • Unsatisfied transformation pipeline dependencies: '[Prenex,
                                                          EtaExpanded]
    • In the first argument of ‘($)’, namely ‘MkPipeline’
...