`AbstractInterpreter`: set up `ForwardableArgtypes` interface (#47505)
This interface is necessary for us to implement IPO-able customized
external lattice implementation.
Additionally `InferenceResult(::MethodInstance, ::SimpleArgtypes)`
constructor may be useful for debugging const-prop' inference or
implement something like #29261.