semantic: Correct makeBadCall type in typer.