Add typing axioms for Skolem variables.