Casts, and casts chain, documented in the specs

I’ve updated the language’s specs to document how casts, both implicit and explicit, are performed. Please review at https://specs.practical-pl.org/en/master/casts.html.

As usual, comments and suggestions are welcome here.