Would it be better to use `kind` instead of `type`, since (as we've mentioned somewhere) `type` is a builtin function in Python?