generalize tactic. It can simultaneously generalize many terms.
kabstract to occurrences of the terms that need to be generalized.
generalize to support generalizing within specified hypotheses.
hyps array contains the list of hypotheses within which to look for occurrences
of the generalizing expressions.