A notional machine for the SMoL languages - View it on GitHub