There is still one more test that needs fixing:

   indexed-types/should_fail  T7786 [stderr mismatch] (normal)

I need to understand what is going on there, as it appears to be
using the `Sing` constructors a bunch.