Public VM

The design and implementation have largely changed since the original specification, and these docs will soon be updated to reflect the latest implementation.