Reading over it now, I can't help but completely agree with the last comment that it isn't clear what I'm asking. And I admit it. I don't know what I'm looking for. But I have done this "research".
I suppose in its current form it does devolve to "what other fun stuff should I look at". But I'm not sure what to do about it. edit: I have made a few revisions to incorporate new ideas.
Would it be enough to add a paragraph about "The goal is to make a Turing-Complete esoteric programming language with interesting properties (wrt. codegolf-ability, Kolmogorov-complexity, relation to other models (Turing Machine, Minsky Register Machine, Cellular Automata), etc)" ?
Replace the ASCII-art with better-looking tree diagrams?