Restore the error-handling behavior of [change], which was silently failing
when conversion in the goal failed.
Restrict eta-conversion to inductive records, fixing bug #3310.