+ Nat
Made gcd shorter
Finished Primitive
Finished List (except permutations)
+ some algebra
Primitive: minor changes
List: permutations + some fixes
Added something to Tree.hs
Categories.hs: added Functor and Monad instances
New instances in Algebra