Fixing some typos in domains.md#4905

dkcumming wants to merge 2 commits intodevelopruntimeverification/k:developfrom

dc/typosruntimeverification/k:dc/typosCopy head branch name to clipboard