add proposal(s) / flesh out info about the following
The following either have no info, unclear info, or no clear proposal. As these are fleshed out, please remove from list by editing this bug:
- IncoherentInstances
- LibraryVersioning
- NewLibraryCandidates
- PartialTypeSigs