let subset u v = u.lo >= v.lo && u.hi <= v.hi