Removed sumColVectors from propagate and changed Ring to Monoid