what:Cic.term list -> with_what:Cic.term list -> where:Cic.term -> Cic.term
(* Replaces in "where" every term in "what" with the corresponding
what:Cic.term list -> with_what:Cic.term list -> where:Cic.term -> Cic.term
(* Replaces in "where" every term in "what" with the corresponding