Improved run API and got doctests to work again (mostly)
Fix some issues with map/reduce
compile with -O2
Show instance for Term with indentation
Prettier backtraces. generalized map/reduce is still broken
Allow annotating the term AST with notes
Fixed generalized map/reduce. still requires more testing
Fix some doctests