ignore-value: make ignore_value more generic; deprecate ignore_ptr