various minor edits

[khieta]

Issue #, if available:

Description of changes:

This PR fixes some minor issues I noticed while working on unrelated updates

• Invalid schema syntax in schema.md
• Broken link in validation.md
• RFC11 has already been implemented
• NameSpace → Namespace
• Dafny → Lean