Implied methods for DirectSum
Added forgotten CanComputePreCompose to some implications
Dominates and Codominates, Subobjects and Factorobjects.