Optimizer too smart....

[Daniel Wang]

I tracked the bug down... it's the transparency optimization that's causing
the bug... 

i.e. a datataype is being turned into a tuple... .. I think, I can hack
around this problem myself... I need to disable the transparency
optimization only for constructors that are region allocated. This shouldn't be
hard to do at all as I can figure this out just by looking at the type of
the value carried by the constructor. 

Should, I just be able to hack simplify-types.fun and have things work, or
might disabling transparency have some no so obvious effects?