semantic: Handle ternary in extyper.