extend chalk ADTs with information about variants

[nikomatsakis]

We have a notion of ADTs but it can't capture the notion of having multiple variants and fields per variant. Part of #368.

This might be best done by also fixing #506.

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

[cofibrant]

@rustbot claim