Re-do detailed description of boxy
Add implementations of some pairing functions Robby found

found here: http://www.lsi.upc.edu/~alvarez/calculabilitat/enumerabilitat.pdf