Now it is the time to actually implement the public API. This commit
only contains scaffolds so that it compiles, and I can fill in actual
implementations later. Most of them should forward to the actual VM.*
methods (with some adaptations).