Guide content/formal languages typo fixes #385
StevenMaude wants to merge
StevenMaude:guide_content/formal-languages-typo-fixes into uccser:developGuide content/formal languages typo fixes