* Fix an inconsistency in parsing precedence: 'f x . y' was parsed as '(f x). y' and pretty-printed the other way.
* Extend the deadline.
Merge branch 'master' of github.com:yurug/mpri13
Reverted prettyPrint correction thanks to parser correction
Merge branch 'master' of github.com:pcouderc/mpri13 into inference