test(tests/lean): remove data.nat dependency
test(tests/lean): remove data.nat dependency