Implement gc primitives and half of the HPT analysis.
Syntax changes.
Cabal file changes.
Yet more notes.
Example file showing off the GC primitives.
LLVM file for testing whether LLVM can efficiently compile
bedrock code with GC instructions. Turn out it can but only
if it is asked nicely.