fix: treat {kw} role as normal - #895

fix: treat {kw} role as normal#895

robsimmons merged 2 commits into

mainleanprover/verso:mainfrom

kw-normalleanprover/verso:kw-normalCopy head branch name to clipboard