Maybe this conversation should be about how to build a more flexible dtype system generally, rather than specifically about unit support. (though unit support is a great use-case to focus on)