Added Semigroup to README.md; also added Constructors