How should lazy actx.compile interact with memoization (on the output end)?

This is a longer-shot companion issue to https://github.com/inducer/pytato/issues/164 (and https://github.com/inducer/arraycontext/issues/99).

Suppose an `actx.compile`d function evaluates something that's memoized (for the sake of argument, imagine a temperature in mirgecom). After the compiled evaluation concludes, the memoization of dependent data becomes unavailable, since we're now working on a different array (/array container) instance. It'd be nice if that weren't the case.

(This isn't immensely relevant for mirgecom, since the output of the `compile`d function will typically be fed into a time integrator, which would invalidate any memoized temperature anyhow.)

cc @kaushikcfd

まず関連する issue の inducer/pytato#164 と inducer/arraycontext#99 を読み、その後、評価された関数が memoized data を使用するケースで actx.compile を追跡します。コンパイル済み評価の前後で array または array-container のインスタンスを比較します。この動作が実現可能であれば、コンパイル後も依存データのメモ化が利用可能なままであることを完了条件とします。

索引モデルが issue の本文から書いたものです。