Revert "Make FromPure depend on an affinity parameter."

This reverts commit 78ba9509.
2 jobs for gen_proofmode in 3 minutes and 50 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.1 #8248
fp-timing

00:03:36

 
  Deploy
passed opam #8249

00:00:14