How should I know what curently occupies the heap?

I have an idea which doesn’t immediately answer your question, though.
Namely, maybe it’d be possible to build something on top of [ANN] Introcaml (alpha): Polymorphic Printing and Introspection for OCaml to get a somewhat understandable summary of the current heap contents.