Removed the awful pruning support from the F# curried function synthesis API and replaced it with something that both works with the new generalised pruning and is also easier to understand. It all works! Generates test cases progressively. Just one fly in the ointment - there is at least one test failure in the existing tests.