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