I love this kind of unifying formalism, but I wish they at least gave some intuition for what a weird machine is. I appreciate that it takes a lot of buildup to define them formally, but it would have been nice to have a plain-English explanation somewhere in the introduction.