mathlib3

refactor(algebra/*): delete `free_monoid` from `algebra/free`, restore some functions in `algebra/group/with_one`

#1227

Merged