Changed notation for functor composition

From _•_ (bullet), which now stands for relational composition, to _⋆_
(star).