Create bigfunctors-brainstorming

Some ideas for the big functor counterpart with namespaces, which would clearly extend the semantics of compilation units.