Iterated expansions of models for countable theories and their applications