Replaced all memory allocations with calls to heap_expression or allocation_expression.

Need to guarantee all calls to heap expression pass in a variable, or someone guarantee all generated heap expressions are flattened.