[zem]

surfacing revealed types as `@TODO` made me laugh, but thinking about it it's actually a pretty neat touch!

[dcreager]

It really helps in our mdtests, because then we can assert that not-implemented things are currently wrong but for the right reasons!