Dealing with constants in `freeze`

Right now, I think we bake constants into the code no matter what, at considerable expense. (For example, we might recompile every time the time step changes.) Maybe defaulting the other way (replace every numerical constant with a variable) is better?

cc @kaushikcfd @matthiasdiener

まず freeze の実装と、コード生成時に数値定数がどのように扱われるかを追跡します。現在の定数の埋め込み動作を、定数を変数に置き換える場合と比較します。時間ステップが変わったときの再コンパイルコストも含めます。完了条件は、方針が決定され、それに対応する検証が行われていることです。

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