added a monoid instance of DepM
added tests