Make "Reference" type generic?

Would it be possible to make the TypeScript version of Reference generic? It is very difficult to enforce constraints without this, and TypeScript supports complex "A | B | C | D"-style generics.

We are trying to strictly enforce all manner of constraints in our information models for both IG publishing and software development purposes, and such refinements would be very welcome!