Adjusted the documentation for reverting to return values and trait inheritance