Bump various type strictnesses

[Bo98]

• Have you followed the guidelines in our Contributing document?
• Have you checked to ensure there aren't other open Pull Requests for the same change?
• Have you added an explanation of what your changes do and why you'd like us to include them?
• Have you written new tests for your changes? Here's an example.
• Have you successfully run brew style with your changes locally?
• Have you successfully run brew typecheck with your changes locally?
• Have you successfully run brew tests with your changes locally?

---

brew typecheck --update --suggest-typed + manual fixes

[BrewTestBot]

Review period will end on 2021-09-14 at 00:00:00 UTC.

[BrewTestBot]

Review period ended.