re-enable full typeinf

This reverts a temporary change introduced by @JeffBezanson in 51a30691c50a86542ac9b0ba052017bb66df9d77. Bootstraps cleanly and all tests pass on x86_64-linux

It looks like this change was only intended to be temporary while the constructor/call change was being implemented.