Overhall of spec.md re: optional type declarations