Leancolls

WIP collections library for Lean 4