cpp/header/memory

This header is part of the dynamic memory management library.

Helper concepts
Note: These names are only for exposition, they are not part of the interface.