Do you think we should rename this typedef to `mp_obj_instance_t`, since that's really what it is?