The final specification for Primer 1.0 (pure language, no effects). This should be Primer 0.9, which will be a feature-complete pure language, plus any changes required as a result of student & teacher testing.