Typer is now able to detect incorrect cast