Work on improving type inference for calls with deferred argument types