Composition operations

This is another implementation of product and parallel, following the algorithms in the textbook.

I did not take its performance into account, so there may be a room to improve.