feat: add Heap instances for TreeMap and ExtTreeMap#106

alok wants to merge 2 commits intoleanprover-community:masterleanprover-community/iris-lean:masterfrom

alok:feat/heap-instances-105alok/iris-lean:feat/heap-instances-105Copy head branch name to clipboard