SSA IL

[Stephen Weeks]

> (Honestly, I think we should go with the version of IntInf's that does
> it's own allocation;  IntInf_arithops are labeled as Functional, so I
> don't buy the claim that flattening will always fix the problem; seems
> like we could intersperse some allocations in there if we wanted.) 

Agreed on all counts.

> mutex, thread2, prodcons -- don't see to terminate; mutex works o.k. when
> not compiled -g; could be they are just very inefficient. 

I remember seeing a factor of like 100 or so when I was debugging
those last week.