Reduction compactions

Compactions for reductions & concatenations that follow the paper more closely.