Move liftSemigroup to Semigroup; privatize implementing traits.
Follow liftSemigroup rename.
Merge pull request #432 from S11001001/topic/move-lift-semigroup

Move liftSemigroup to Semigroup; privatize implementing traits.