Added two different heap implementations as proofs of concept.
Added preliminary semantics for heap operations.