clarify that range->seq translation implies *.succ