Deduplicate types testing

Right now we've got the older types.ts testing, and the newer tstyche harness.

I'd like to migrate to one or the other, and the types.ts testing is pretty janky and bespoke. Whatever we go with needs to work with typescript@7.