Allow integer reductions Enables reductions on integer variables, and adds a correctness test for said reductions See merge request !59
