Completed tests & implementation for `ModAdder`