Updated foldr-fusion example to use the Interactive Prover.