Whether this interval precedes another and touches it without overlap.
Assumes neither interval is empty.