Removes unneeded prefix.
DependentTerm and DependentType