Updated documentation
Added composition and identity for unidirectional pipes