'Type patterns in switch' document updated