friend Formatter &operator<<(Formatter &f, Kind k) {f << kindName(k); return f;}
inline PrettyPrinter &operator<<(PrettyPrinter &f, const ExprNode *e) { ASSERT(e); e->print(f); return f; }
        friend Formatter &operator<<(Formatter &f, Kind k) {f << kindName(k); return f;}