CIS-10: encoding is the essence of the data+algorithms dyad

WORK-n: write an interpreter

WORK-n+1: add indirection

...