added direct pfold and hoist impls via Cont