doc/paper.tex: refer to Sec:SpecGenStruct in section "Adapting C++ code"
doc/paper.tex: reduce repetition of "straightforward"