Revert "Prelude: Export Fay. Export fromInteger. Drop CPP, no longer needed."

This reverts commit 04004582c9ca8c61ee060a2c9698c2ac4ab17d3f.