Wrote first version of system to apply theorems to deduction system.
Removed products from deduction system, we are working with lists now.
Renamed AsDeductionSystem* -> InDeductionSystem
Renamed Deduction -> Deductive
Renamed files
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Enhanced convenience methods
  Step2 of type change
  Step1  of data type exchange
  Preparation of substitution of data types
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Type substitution in UniversalMorphismFromImage
Fixed syntax error from renaming.
Changed well defined install method.

Now it also works with lists of cells.
Implemented new syntax for logic.
Bugfix in RESOLVE_HISTORY