new file Nat.v; add coq as submodule