Fri May 7 13:39:07 EDT 2010

Finalizing (-> Procedure)

Next: fix In + Tmp names.  This should include a stage that guarantees
that all variables are used (inputs,tmp) and assigned to

This is difficult to modularize..  

Inputs : these are picked by the mapper function, so it should know
the arity.  Outputs: come from the output of the function.  Temps:
allocated by the compileNodes step.  Maybe the datastructure returned
should keep track of them?