parse fn return type, typer check types mistmatch on declr, typing and assign