Add an example of using abstract types.
Add an example of overriding an abstract type in a subclass.