Forget what I wrote. That's in fact UnassignedType, not NoType. There's only one small use case left for NoType. Maybe it can be eliminated entirely.