Feature Discovery with Type Extension Trees