(defmethod print-object ((v variable-reference) stream) (print-unreadable-object (v stream :type t :identity t) (format stream "~S" (name v))))