Optimization passes.
Allow trace statements to refer to higher scope.
Change dump_slice accordingly.
Scoring context (church_builtins for now)
Delimiting lists by a string.
A code generator.
get_slices returns an actual sampling function with slices.
New slice test case.