maybe implemented: add expression, move expression to VM
maybe implemented: VM
maybe implemented: run