Let TypeInferenceMapper take its own temporary_variables array. (Also muck with codegen for constants.)

- Rename apply_subst to expand_subst.

- Track if precomputes in other substitution rules are uniformly
  in-footprint, and if so, perform substitution to storage reference
  even within substitution rules.

- Remove 'formal argument' sweep spec from precompute(). This is purely
  counterintuitive, because it finds an intermediate set of inames that
  then get swept out and thereby may pick up much more than the formal
  argument referenced.

- Fix the 'in-footprint' criterion to be the storage-to-sweep map with
  the sweep dimensions projected out.