* Fix a bug in the OCaml pretty-printer.
* sujet.pdf: Minor remarks about identifiers.
* value_definition: Fix an invalid threading of the typing environment .
Merge remote-tracking branch 'yurug/master'

Conflicts:
	src/elaboration/elaborateDictionaries.ml
	test/inference/good/coreml_record_define.mle
	test/inference/good/typeclass_infer_canonical.mle
	test/inference/good/typeclass_instance_declaration.mle
	test/inference/good/typeclass_instance_with_inheritance.mle
	test/inference/good/typeclass_needs_constraint_hoisting.mle
	test/inference/good/typeclass_polymorphic_recursion.mle
	test/inference/good/typeclass_predicate_annotations.mle
	test/inference/good/typeclass_several_blocks.mle
	test/inference/good/typeclass_use_instance.mle