Bugfix: Don't const-fold if operands might be NaN.
Bugfix: ExpLabel and ExpIndex implicitly use TyRef types.
CSE the address expressions in Deref and Store.
Get the type of ExpToIx expressions from Ivory.Language.Array.