This makes interactions with the internal _version object type safe,
instead of having them all resolve to Any.

I also separate out the actual types (which do not contain infinities)
from the types used by _cmpkey (which could). This types things more
accurately and makes the types easier to understand in the actual case.