better printing of types (de Bruijn) in foterms
skolem: instantiation functions
type inference: fix issue in forall_ty binding in inference for FO formulas
add Formula.FO.ExistsTy constructor; update cnf and prologTerm accordingly