prelude/PrimOp is now mostly warning-free