Close a hole in type guards of property access with string literals. Add basic but sound switch statement guards over the theses same property access.