Start updating README.md for Turing completeness

Most of this was actually written weeks ago, I just never got around to
committing it.