toString implemented for several kinds of syntax/type nodes