Added magma, free monoid, parallelism discussion