add some missing IsOp instances and remove accidental instance for mono_nat and mono_list

Removes mono_list_lb_is_op instance for IsOp' (◯ML l) (◯ML l) (◯ML l); we don't usually have such instances for duplicable resources and it was probably added by accident.