[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?