make the global functor stuff in the various constructions more uniform;...

make the global functor stuff in the various constructions more uniform; change it such that barrier/proof does not have to repeat the functors it needs
1 job for master
Status Job ID Name Coverage
  Test
passed #186
coq
buildjob

00:03:19