Document `super` and add more docs to `defoverridable`

Closes #1189