Python type annotation library