Datatypes R2 Issue 82
Narrative for Substitution
The Refinement and Localisation specification includes some rules concerning datatype substitution at design time, and there is some rules about substitution at run time in the wiki.
This proposal is to add some narrative to the introduction explaining the relationship between specialisation, promotion, demotion, and the datatype substitution rules.
Disposition: refer to proposal Datatypes R2 Issue 67