Reduction compactions

Compactions for reductions & concatenations that follow the paper more closely.

This involved gutting everything that dealt with arrays and having it deal with lists instead.