(inst-in start end)
Returns a spec that validates insts in the range from start (inclusive) to end (exclusive).