A little work on ideas.md and language_spec.md.