* sujet.pdf: Minor remarks about identifiers.
* value_definition: Fix an invalid threading of the typing environment .
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/elaboration/elaborateDictionaries.ml