Text this: Wreath Products of Forest Algebras, with Applications to Tree Logics