Uses new function types/guarantees
Some small optimizations, turned on RowReduce call