Krzysztof Gogolewski authored Oct 12, 2020 and Marge Bot committed Oct 20, 2020

- Update comments: placeHolderTypeTc no longer exists
  "another level check problem" was a temporary comment from linear types
- Use Mult type synonym (reported in #18676)
- Mention multiplicity-polymorphic fields in linear types docs