refactoring -- using doc.Element the old way

The doc.Element just wraps the older doc.Line and implements methods
to access the same line from the single-item internal list self.doclines.
refactoring -- doc.Element.value() introduced and used