Vastly simplify the helper-tactics in Category/Morphisms.v

We don't actually need all of those; I was being stupid with
associativity.
Add some helper lemmas about [commutes]