refactor(library/data/vector): cleanup
fix(tests/lean/whnf): make sure the test does not produce 'sorry'
fix(library/tactic/inversion_tactic): warning on clang++