> There's no reason why I/O space addresses (for example), machine registers, etc. can't have types or bounds.

Machine registers are usually typed, i.e. there are floating-point registers with specialized instructions and integer registers with their own instructions.