Type Annotations and other typing-related stuff are built into the language/standard library.

To get a real benefit you should use a static type checker like mypy.