New filter for methods
New ToDo's
First implementations for two cells.
Implemented natural trafos.
Added new IsEqualForCache.
Added products of twocells.
EqualityOfMorphisms in GeneralizedMorphismCategory