semantic: Handle conditional statements in extyper.