Large-Scale Inference Strategies -- Higher-Order Extensional Inference -- Handling Crisp