a more correct likely_type_from_value