refactoring and correction

* make \o the primary notation and \; parsing only
* change the comp axioms to be about comp, not seq
* fix (co)monad laws and their names
* add IsCat factory
* add IsFunctor factory
* add IsExtensionMonad factory

Co-authored-by: @affeldt-aist
Co-authored-by: @shinya-katsumata

Author: t6s