Correct reference to Cabal file in default.nix.
Rename Example.Clinic.choose to Example.Clinic.generator.
Untested implementation of the forward algorithm, and an ineffecient alternative.