Refactor param handling
This refactors the handling of generics. We get rid of the representation of DeBruijn indices in the Radium representation and instead insert literals directly in the TypeTranslator.
In the course of that, we also fix the handling of generics for trait instances.