make EBinoidalCat action-on-objects a parameter instead of field
add Notations.v
remove reliance on General.v
flip around the pentagon to the opposite of Mac Lane orientation
major revision: separate Subcategory into {Wide,Full}Subcategory
major revision: MonoidalCat is now a subclass of PreMonoidalCat
split MonoidalCategories into Binoidal and PreMonoidal
add Retraction, SMME, make Enrichment a parameter
initial checkin of coq-categories library