Actually I suspect these methods won't exist at all on `Type` as module methods, if I followed through completely on the swing.  The current state of the PR is functional, but there are some more simplifying tweaks we could do and I simply ran out of time last night.