Added sketch for VM

DO NOT MERGE
This is just a sketch.
Please comment.
As discussed, let's keep exception info as a hidden property of execution context.