Reinstate eta for records in evarconv, fixing two HoTT coq bugs.
Fix a destArity that does not exactly match isArity in presence of let-ins.