Gödel numbering
making Jot a natural Gödel numbering of all algorithms.