kit times

[Henry Cejtin]

Pretty strange.  With multiple rounds of the current flattener, is there
anything that keeps shared things from being flattened (and hence unshared)?
We talked at some point about the idea that if something is shared, you
shouldn't do this:
	val x1 = (1, 1)
	    x2 = (x1, x1)
	    x3 = (x2, x2)
	...
being the canonical example (where every extra flattening doubles the amount
of memory and CPU time).
Do you think that is the problem here?  It sounds like the obvious experiment
is to keep inlining at 30 and try only 1 round of flattening.