Does anyone have a preference between the various static typecheckers for Python? I.e. pytype, pyright, mypy, pyre?<p>Ideally something that handles Numpy sensibly, is well documented, and doesn't require inline annotations (i.e. can use .pyi files)