Design of Memory allocation / deallocation

[krisnye]

• Where is it done?
• Reference counting?
• Ability to weakly release while allowing re-use before deallocating? (Important for design of semantic immutability performance)