Removed notation f comp g, because of clashes with composition in
precategories. Issue to be discussed.