semantic: Handle Unary in extyper.