feat: Improve role resolution error diagnostics#763

ejgallego wants to merge 3 commits intoleanprover:mainleanprover/verso:mainfrom

ejgallego:research/role-fallbackejgallego/verso:research/role-fallbackCopy head branch name to clipboard