ref: 85adea62d7e8eee9d0e3525d572325db4e58d21a
dir: pprolog/TODO
* 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.