Enable stricter global mypy defaults

[correctmost]

PR Description:

Some checks only need to be disabled for the lib/ directory now.

The new type: ignore statements can be revisited in the future.

Tests and Checks

• [ ] I have tested the code!