semantic: Handle unary not in typer.