Simplify the VM storage of States.
Store a reference to the VM inside each state. Implement Push() operation for all simple and some complex types. Add unit tests for Push() operation.