Как в Python реализуется и используется аннотация типов для функций или переменных?