Add ability to also lift a binary op as a reduction