better-looking infix operators for appropriate binop functions; fix derivative of Identity