is as a binop, and default case for pretty-printing as a stopgap