semantic: Ensure functions are named
semantic: Ensure resolution of type refs in typer.