introduced likely_type_type