Cleanup of build reductions
Cosmetic changes to premises and output to take advantage of proper rule merging and type cast premise
Some more fixes to reduction rules