Add mypy type checking, and fix some type-hint mismatches

[NickolausDS]

Gladier has type hints for common functionality, but some are incorrect and need fixing. Additionally, we really need to add mypy to the CI.