Optimistic Higher-Order Superposition