This fix actually fixes at least four bugs:
- One of them was a mistake switching compile from old types to new types.
- A second bug was an undetected error in TYgetShape which would return "partial shapes" for AKD types. However, this future extension is not supported in the type checker at all, just in new_types.c. As a result, we plainly got wrong shapes in undetected AKD cases.
- The third bug was the fact that wet:WLTRA expects all bounds to be structural constants. We have a phase that ensures just that (wlbsc). This phase was not run directly before WLTRA and some intermediate phase would lift the structural constants out again.... added a run of wlbsc directly before WLTRA now
- The fourth bug was that WLTRA expects all empty generator of AKS and AKD WLs to be gone. Unfortunately, wlsimp, the phase that guarantees that, did not elide empty generators if they were thee only ones in an AKD WL. This has now been fixed (cf. issue #2255 (closed))