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.
Edited by Ralf Jung