some progress
some steady progress
before seeing if using fund-refls fixes the definitional equality problem with R_Pi
stuck on fund-ap for app; about to try binary version again