Export withPG and remove non-working functions

Perhaps using a correct interface for a while might suggest how we can add back in transactions and folds.