inheritance of nested types (ancient TODO)