ref: a8b1fadd149126e9c8d3081a56d206812211f1e6
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.