Pairs of algebraically closed fields

A pair of algebraically closed fields consists of an algebraically closed field enriched with an additional unary predicate interpreted as an algebraically closed subfield. Proper pairs of algebraically closed fields are known to be omega-stable of Morley Rank omega. We propose a language in which they eliminate quantifiers, and which has the advantage of adapting to some expansions such as pairs of algebraically closed valued fields.