Okay, I'll see what can be done over the weekend. Theoretically, we could create a separate completer class per each distinct use of `mkTypeCompleter`. This would fix both of our concerns - both stack traces and toStrings will now make sense. 

I could do that here, or we could merge this PR right away, because even as it stands right now it represents a self-contained improvement.