Introduce a backend-selecting mechanism

We will soon start to introduce several generation mechanism for the same thing (say: Use Dune thing or implement own). We need an abstraction that avoids writing these code branches into the main transformer code. Instead a backend selecting function should be called and that function should select the correct backend based on configuration options.

Implementation-wise.... I love decorators...