a lot of renaming
refactor TypeCategory into MappingCategory
add Relation as EndoRelation
add Relation as EndoRelation
cosmetics
add Unbiased0Monoid