Forward declared interfaces don't type check properly

[ghewgill]

Problem code:

TYPE Rec IS RECORD
    int: POINTER TO Int
END RECORD

INTERFACE Int
    FUNCTION f(self: Int)
END INTERFACE

VAR p: POINTER TO Int := NIL
VAR r := Rec(int WITH p)