Meta-interpreters. How one can write meta-interpreters and table them and get tabled evaluation. I.e. tabling ``lifts'' through meta-interpreters.
Could do XOLDTNF metainterpreter, exponential, but programmable. Probably want to use aggregation.
