mypy

0d17db05 - Bump version number to 0.750+dev