test(tests/lean): remove data.nat dependency
refactor(library/data): remove folders with a single file
refactor(library/data/nat): rename theorems
feat(library/data/nat): make nat an instance of comm_semiring
refactor(library): change mul.left_id to mul_one, and similarly for mul.right_id, add.left_id, add.right_id