A literate Nock implementation.

Well, there's no parser yet, but all the reductions are there.