Formal Power Series over Trees