This commit refactors the FlowSocialListWith type in order to:

* Split the "no list" vs the "yes list" cases into a sum type, so that
  we can pass to functions that ought to generate a list a type which is
  already a correct witness (without redundant information);
* Remove the boolean from the `NoList` constructor, as that conveyed the
  wrong information anyway.