* Fix a bug in the OCaml pretty-printer.
* sujet.pdf: Minor remarks about identifiers.
* value_definition: Fix an invalid threading of the typing environment .
Changed printing
Merge remote-tracking branch 'mpri-origin/master'
First draft of term elaboration

- Replaces types of methods that use overloaded symbols
- Replaces add dictionaries to calls to overloaded symbols