Construct an equality constraint.
Macro: pf=
(defmacro pf= (left right) (cons 'make-constraint-equal (cons ':left (cons left (cons ':right (cons right 'nil))))))
