friend String &operator+=(String &s, const Token &t) {t.print(s); return s;}
friend String &operator+=(String &s, Kind k) {return s += kindName(k);}
		friend String &operator+=(String &s, const Token &t) {t.print(s); return s;}