Beyond Limit Groups: Formal Solutions And The Profinite Topology