Check type annotations against the doc string

[davep]

If a function has type annotations, either for any of its parameters, or its return value, compare that against what's found in the doc string and report any differences.

Do this only as "extra" checking.