Type Checking to Fix Point

[DavePearce]

(see also #955 and #882)

At the moment, the following currently passes type checking:

function count(int n) -> (int r):
   int|null i = 0
   //
   while i < n:
      i = null
   //
   return i

The problem is that it needs to iterate until a fix point is reached.