Simple, partial type-inference for System F based on type-containment