BUG-865: eliminate ExtendedType and DerivedType