ref: ff418c798b580204f6fea5512adc36835f8b7efa
dir: /TODO/
* Add a repl * Stop comparing strings all the time * Stop copying the entire goal stack into every choicepoint * Stop creating choicepoints when it is not needed * How to implement builtins nicely? * Right now we copy and allocate a lot, but almost never free stuff.