[BUG] Infinite loop in type analysis in regards to recursive functions

[JordanBoltonMN]

Expected behavior
The type system to not experience infinite loops.

Actual behavior
The type system is experiencing an infinite loop.

To Reproduce
Attempt to resolve the type for the following expression:

let count = (x as number) => if x = 0 then 0 else 1 + @count(x - 1) in @count(10)

[JordanBoltonMN]

@mattmasson, how do you think we should handle the typing for recursive functions? For now I'm thinking of adding some recursion detection which assigns it as either any/unknown. Thoughts?