semantic: Ensure resolution of type refs in typer.