[Chapel Merge] Update language specification to discuss runtime t

Branch: refs/heads/master
Revision: d6a8060
Author: mppf
Log Message:

Merge pull request #16522 from mppf/doc-updates-16

Update language specification to discuss runtime types

The spec did not describe runtime types and .type at all. This PR adds
some description of these to the types chapter. Then, it updates the
discussion of argument defaults to indicate that the type inference from
those does not include the runtime type.

Follow-up to PR #16457.

Reviewed by @vasslitvinov - thanks!

  • [x] full local testing

Modified Files:
M doc/rst/language/spec/classes.rst
M doc/rst/language/spec/expressions.rst
M doc/rst/language/spec/generics.rst
M doc/rst/language/spec/locales.rst
M doc/rst/language/spec/procedures.rst
M doc/rst/language/spec/types.rst

Compare: https://github.com/chapel-lang/chapel/compare/035f41b7b4ac...d6a8060518b7