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 Name Job ID Coverage
  Test
passed buildjob #186
coq

00:03:19