With Cardano releasing a smart language contract based on lambda calculus (well, Haskell), I'd like to come back to a question I've always had about Tezos: what is it we get from Michelson's stack-bas...