Rename specification.md to definitions.md