Added .Endomorphism, added semigroupoids depenency.

Documentation isn't great, and I haven't bumped the version number.