Intervals and refinement types.
Javran ack.
Javran's typos.