semantic: Simplify extypePass.