Extra layer of undefs in switch statements to be really explicit

This label should more obviously always give back undefs (needed
cross-repo for typedjs_JSlint).

Bugfix to typedjs-pre1

case desugaring fix; new function for maps