restore index for "rules of type theory"