Implement `PushAction` Add `value-stack` tests. Omit explicit types where possible