semantic: Allow SwitchStatements in BlockStatements.
volt: Add switch errors.
semantic: Type switches in extyper.
llvm: Implement switches.