redex: add `where-make-prefix-pict' and `where-combine' for typesetting
raco setup: fix for bootstrap