semantic: Allow enums to be returned by the typer.
semantic: Type switches in extyper.
llvm: Implement switches.