Protocol: the keystone of type hints