let mk_singleton q = { dom = Dom.of_q q; lo = Some(true, q); hi = Some(q, true) }