Using `switch when` in type checker (#5774)
Using `switch when` in type checker (#5774)

* Idea: `when` function for clean conditional logic

* fix + test cases

* Test that when works within switch cases

* lint

* First example use of `when` in type checker. 

* lint fixes
PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs