Definitions of sequential composition and parallel composition revised.
Pullback property of parallel composition in Fam re-established.