Daniel's stuff
+ my vague ideas on montone turing machines.
Merge branch 'master' of https://github.com/themonk911/ofallwisdom