Add `IntervalNesting`

This allows an alternative `PartialOrd` instance to exist.
Also re-exports `PartialOrd` and `comparingPO` from this module.