+ (:op #\- binop "-" (x y 60) (int-binop #'- x y))
+ (:op :shl binop "<<" (x y 50) (int-binop #'ash x y))
+ (:op :shr binop ">>" (x y 50)
+ (int-binop (lambda (x y) (ash x (- y))) x y))
+ (:op #\< binop "<" (x y 45)
+ (compareop #'< #'string< x y))
+ (:op :le binop "<=" (x y 45)
+ (compareop #'<= #'string<= x y))
+ (:op :ge binop ">=" (x y 45)
+ (compareop #'>= #'string>= x y))
+ (:op #\> binop ">" (x y 45)
+ (compareop #'> #'string> x y))
+ (:op :eq binop "==" (x y 40)
+ (compareop #'= #'string= x y))
+ (:op :ne binop "!=" (x y 40)
+ (compareop #'/= #'string/= x y))
+ (:op #\& binop "&" (x y 37) (int-binop #'logand x y))
+ (:op #\^ binop "^" (x y 35) (int-binop #'logxor x y))
+ (:op #\| binop "|" (x y 32) (int-binop #'logior x y))
+ (:op :and binop "&&" (x y 27)
+ (oplambda (if (want :boolean x) (funcall y)
+ (values :boolean nil))))
+ (:op :or binop "||" (x y 22)
+ (oplambda
+ (multiple-value-bind (xty xval) (funcall x)
+ (if (coerce-property-value xval xty :boolean)
+ (values xty xval)
+ (funcall y))))))