Rearranged packages
Created AddMonoid and ProductMonoid. Added Random to all MonoidTests
Created OptionalMonoid