doc/paper.tex: differentiate between inheritance and component separation