clarify whether memory management is explicit

[yaroslavvb]

Asymptotic result may depend on whether we allow reclaiming memory.

To supplement this, we could have two versions, "managed" and "unmanaged" (current version)

The managed version can be implemented using something like https://gemini.google.com/share/6519fda7aea2