Added natural number libraries using inductive types with add and mul