Added two small examples.

Fixed insufficiently eager concurrent machine composition (>~>).

Added a README.