Python, type hints, and feeling like they create a different language