python type hints with default values