Particularly, flatten_many was exported, but the caller was not doing
runFlatten.  Moreover it was always used at nominal role.

This patch makes the API clearer, and more robust