Group the stack and heap kinds of pointers#22

clarus merged 3 commits intomainformal-land/coq-of-python:mainfrom

guillaume-claret@experiment-join-pointersformal-land/coq-of-python:guillaume-claret@experiment-join-pointersCopy head branch name to clipboard