I've updated the SoV documents, including the new sections on VM model and translation: http://cr.openjdk.java.net/~briangoetz/valhalla/sov/01-background.html