Universal Machine from Ninth annual ICFP Programming Contest (http://www.boundvariable.org/task.shtml)