refactor: `HashMap`/`TreeMap` and their extensional variants to use `getElem` instance#11578

wkrozowski merged 6 commits intoleanprover:masterleanprover/lean4:masterfrom

wkrozowski:wojciech/getElem2wkrozowski/lean4:wojciech/getElem2Copy head branch name to clipboard