Henkin expansions

still some small propositions left unproved but it's basically all
there.