create a "generator witness" type

[nikomatsakis]

As described in the chalk book, we need a generator witness type. More details coming.

This issue has been assigned to @Aaron1011 via this comment.

[nikomatsakis]

@rustbot assign @Aaron1011

[Aaron1011]

Implemented in #593