Throughout the codebase, there are many generic type parameters of the form D extends DocumentElement. These parameters are unnecessary, because we always use the base class DocumentElement and never take advantage of methods on subtypes.

They make everything more complicated for no good reason: let's remove them.