measurable_lfp/gfp: indirection not necessary
full path
make it possible to load Quickcheck exhaustive & narrowing in parallel
moved 'Quickcheck_Narrowing' further down the theory graph
added missing theorems to unfolding set