Abstract Interpretation examples. (partial evaluation, and assert.)
Show low overhead of tabling in meta-interpreter, due to how tables are implemented as tries.