Do eager instantation in terms
Implements eager instantiation in terms.
In particular it introduces tcInferAppHead
for the head of an application, an architecture that we'll need for Quick Look anyway.
Implements eager instantiation in terms.
In particular it introduces tcInferAppHead
for the head of an application, an architecture that we'll need for Quick Look anyway.