Added Monoid to alg.agda