Types and reps for objects.
Constructor for morphisms.
Morphism functions.
Implemented lift.
Bugfix in ADD_KERNEL_RIGHT
Cokernel and some cosmetics.
Started direct sum.
Finished direct sum left.
Direct sum right.
Corrected typo

and substituted projection -> injection