Progress on the Prodi bug, it is now crashing with higher order lambda abstractions, which I guess is better?