Add Incrementable and tests

The idea is that many monoids have a unit (such as integers) which they can be incremented by.