Add missing operator (:~>) to Notation exports