Wrote add, subtract, equal, nonzero, is_zero for OMS families coefficient module elements.