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).

# Please enter the commit message for your changes. Lines starting
# with '#' will be ignored, and an empty message aborts the commit.
# On branch es3
# Changes to be committed:
#   (use "git reset HEAD <file>..." to unstage)
#
#	modified:   src/exprjs_syntax.ml
#
