Added support for sub-types to extension types.

As discussed.