ToDoList entry to propagate welldefinedness to source and range of morphism
Some todolist entries for welldefinedness.
WellDefined method for products
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  IsWellDefined methods
IsZero for objects