Add a Pointed instance
Add the Semigroupoids instances