Speed up variable freshening

Above is `freshvarl`, with an unbounded loop over possible indexes to find a free one.