Fix another bug in noncommutative_reduce
Eliminate some instances where we assume T = int