Swap conditional order

This has no effect on the truth table, but affects
side effects. It shouldn't actually matter because
`check-all-registered-types` is not called in the
TR top-level anyway, but this seems safer.