The skip for an unanchored start (computing it the first time, in a lazy DFA).
dfa_skip :: (d: *Dfa, index: int) -> *Skip