Add th-orphans and th-reify-many