Is there anything necessary to add more semirings except adding more `GeneralFPUOp`s? It looks like you have the `max +` semiring already.