Anabelian Model Theory