assignment (:=) now petty printing as ←