Version is not separated, VersionIntervals (current and Legacy) machinery doesn't take that into account.

By *separated* I mean that there would be a version between any pair of distinct versions. That is not true.

For example, there is no version between `1` and `1.0`, and `VersionInterval` machinery doesn't take that into account. It fails to simplify:

```haskell
import Data.Maybe

import Distribution.Pretty
import Distribution.Parsec
import Distribution.Types.VersionRange
import Distribution.Version
import qualified Distribution.Types.VersionInterval.Legacy as O
import qualified Distribution.Types.VersionInterval as N

unsafeParsec s = either error id (eitherParsec s)

main :: IO ()
main = do
putStrLn $ prettyShow $ O.fromVersionIntervals . O.toVersionIntervals $ unsafeParsec "<=1 || >=1.0" -- expected >=0 i.e. anyVersion
putStrLn $ prettyShow $ N.fromVersionIntervals . N.toVersionIntervals $ unsafeParsec "<=1 || >=1.0" -- expected >=0 i.e. anyVersion

putStrLn $ prettyShow $ O.fromVersionIntervals . O.toVersionIntervals $ unsafeParsec ">0 && <0.0" -- expected <0
putStrLn $ prettyShow $ N.fromVersionIntervals . N.toVersionIntervals $ unsafeParsec ">0 && <0.0" -- expected <0
```