Edit rustc_middle::ty::cast docs Link to RFC 401 and add missing punctuation.
For more information about how rustc works, see the rustc dev guide.
