add sections to doc/impl