Language specification in doc/rfc.md