twiddling some more - this time with append, which was non-primitive on p. 384
Exercise 4.15 - a simple proof of Turing's halting theorem
Exercise 4.16 - scanning out internal (variable) defines