WyC: Fix for type checking Switch statements #395
The flow type checker was not correctly typing the cases of a switch
statement.  This only became apparent through the fix for #395, which
exposed the fact than a non-empty environment was still being returned
even when no possible branches could exit the switch.
TESTING: Added missing test case outputs.
Some tests were missing their sample output files and I didn't notice.
Now corrected.