Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability