broke refl and widening, but want to see if this pans out in trans first
back to wf only on z -- temp, not exactly what we want
more like this
fix rect and fun cases
some easy cases... let us get to the meat.
looks bad, what do we do if we have no no no