Partial type inference for SystemF