tdk: raise Non_local in flows assigning the Switch field

If a switch assignment has survived to the point of flowtable
generation, this should raise a Non_local error. Arguably any assignment
should, but non-constant assignments will produce a type error for now.