Python developers are embracing type hints