Thu May 23 22:17:06 EDT 2013

Extra pass?

Looks like it is time to insert an extra pass.  Finalize type
inference before performing things like input node unpacking.
Though.. still that won't work.  Something is cyclic!

Where exactly is the problem?  A type annotation is necessary, without
performing any of the data unpacking tricks.