I cannot think of any such model, maybe some form of typed lambda calculus? some elementary cellular automaton?
This would almost disprove Wolfram's "Principle of Computational Equivalence":
Almost all processes that are not obviously simple can be viewed as computations of equivalent sophistication