Update docs for `defoverridable` and `super`