In the Python build script, the final step should run coverage tests on /types/* to make sure we test everything.