implementing base generator via new pp combinators
DocString.detailed is List[String] now