Switch statement issue
Adsafe.js: Partially TCing quest.

Things that are not working:
- Arrow type subtyping
- Switch statement: see panos/simple/switch00.js