New example: Schemes.gi
Started implementation of generalized direct product
Fixed IsWellDefined ToDo's to be only installed for category cells.