fix: properly describe power comparator in The Shape of Types

[JoshuaKGoldberg]

PR Checklist

• [x] Addresses an existing open issue: fixes #254
• [x] That issue was marked as accepting prs
• [x] Steps in CONTRIBUTING.md were taken

Overview

The code considers it an or equal then, so let's go with that in the description.