A library with a set of tools for annotating types in Python code.