Closes #3294. Adds proper generics support to the code generator, instead of relying on things like `type: RecordRange[*UrlRecord]`. This makes it much easier to build generators for other languages.

Changelog: feature