Updated draft of language spec for 0.9.1