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