Alternative package:checkers

Check Alternative Monoid laws