implement Nat
implement all Primitive
create .gitignore
implemented List
implemented Tree
implemented Algebra