feat: port HeapLang heap tactics#521

kdvkrs wants to merge 4 commits into

leanprover-community:masterleanprover-community/iris-lean:masterfrom

kdvkrs:feat/heaplang-heap-tacticskdvkrs/iris-lean:feat/heaplang-heap-tacticsCopy head branch name to clipboard