use parameterized lattice in various optimization passes (#47948)
We may want to parameterize our optimization passes with
`AbstractInterpreter` in the future, but this commit adds minimum
changes to parameterize them with `AbstractInterpreter` maintained
by `InliningState`.
