AdventOfCode Solving 2022 Advent of Code problems in Lean 4 Some Lean data structure observations Array.partition and Array.split seem to be the same, and diverge from List.partition and List.split Queue is not FIFO?