feat(nat/kernel)
Added le lt and a bunch of theorems
Some theorems still need a proof and are currently and axiom. nat_ind currently only compiles with the standard kernel, not the kernel in this folder