Declares the "is a" relationship.
Self is said to implement
For instance, since originally
GtkWidget is a subclass of
The trait can only be implemented if the appropriate