It's core concept cake (like a "concrete turing machine model" counterpart to lisp 1.5's half page of lambda calculus definition) combined with the mutable braid of mutable PLs icing.[0]

[0] https://gist.github.com/raiph/849a4a9d8875542fb86df2b2eda892...