improved documentation of IDoc and trait TDoc