https://123dok.net/document/wyeg4nrz-coinductive-big-step-operational-semantics.html