Python type annotations library