SI-6955 switch emission no longer foiled by type alias

dealias the type of the scrutinee before checking it's switchable
now with tests! (using javap in the repl)

TODO: leverage the new javap test framework (#1849) once it gets backported

review by @paulp