Add REQUIRES_SUPER annotations.

Closes #51.