Add (incomplete) typing rules for switch statement.