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

fix: treat {kw} role as normal#894

leanprover-bot wants to merge 2 commits into

mainleanprover/verso:mainfrom

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