refactor(library/logic/heq): minor change
test(tests/lean/run/vector): use nat.add
refactor(data/nat/decl): use new naming convention at data/nat/decl.lean