Add typechecking for function return types.
Add typechecking for function return types.

Compares the specified return type of a fn definition and the inferred type of its returned line.

girvo/pharen,Scriptor/pharen,Scriptor/pharen,girvo/pharen