Motivation
I've tried it out and it seems to be suggesting lots of extra rules. It's easy to configure with pre-commit. Has implications for the README which mentions we're likely to implement Pyright as our type checker. Also see #121.

Summary
Migrate from pyright to basedpyright.