Document super and add more docs to defoverridable
Merge pull request #1193 from ericmj/docs-overridable

Document `super` and add more docs to `defoverridable`
Fix minor compile-time warnings