Add th-orphans and th-reify-many

Note: I have not tested this, but it should be fine.