* Fix typos.
* Front: Fix invalid overwriting of source files while processing .mle files.
* Minor clarification about the distinction between variables and methods names.
* Fix a bug in the OCaml pretty-printer.
* sujet.pdf: Minor remarks about identifiers.
* value_definition: Fix an invalid threading of the typing environment .
* Fix an inconsistency in parsing precedence: 'f x . y' was parsed as '(f x). y' and pretty-printed the other way.
* Extend the deadline.
* Fix an invalid type variable name generation in the type inference engine.
* Fix missing checking that records contain the right fields.
* Fix two negative tests that were rejected for invalid reasons.
Merged from head