I didn't realize you could do that in types.  It sounds a hell of a lot better than this entire mess of a PR (which I made more as a point of conversation as I hate the idea, it's why it's unmerged.)  I'll look into this.