Superposition with Lambdas