Add Monoid to list of structures