Pin mypy and drop type annotations which makes mypy unhappy

This also:
- drops spurious copyright headers to those files if present.
- drops a no longer relevant type ignore
- add another type ignore (to fix later)

Related to T3812