Allow casts wherever implict coercion is allowed

[nrc]

and add a lint for casts which are subtypes.

See RFC 401.

Part of #18469

[steveklabnik]

Same here, isn't #18469 the issue for this?