[FOM] Simplest universal Turing machine

[John McCarthy]

In my previous message, I forgot to brag that it is easy to show that
the Lisp function eval is universal.