Started deduction system category.
Started deduction system.
Constructors for deduction system.
View and display
Bugfix: Wrong variable in constructor
Eval and some add methods for deduction system.
Adds for deduction system.
Some bugfixes, first example for deduction system.
Added boolean functions.
DomainAssociatedMorphismCodomainTriple

implemented special cases.
Renamed EqualityOfMorphisms -> IsEqualForMorphisms
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Renamed EqualityOfMorphisms -> IsEqualForMorphisms