Deferred assign of type constructor

Working on support syntax like:

TFUNC < T > =function (a:TFUNC < Integer > ):T;