Type hinting in Python, Part 1: The basics