Recursion doesn't work easily

[jmeaster30]

When we go to typecheck the body of a function, we don't actually have the function name.....

[jmeaster30]

We add the function variable to the scope but we don't have the actual type of the function variable until after the function body is typechecked....

Maybe this would be solved by doing all of the type checking for one scope before going into the children scope.

[jmeaster30]

maybe we have a keyword like "self" or "this" for recursion.

This would make recursion more simple without having to mess with the scope processing order.

[jmeaster30]

closing obsolete ocean issues