check type derive from existing type