Spec

Normative language and stdlib specifications rendered from language/spec.