Upgrade check-types.
Bump version.