* 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 remote-tracking branch 'refs/remotes/upstream/master' into inference
Somehow managed to correct type reconstruction for instance declarations; black magic, I tell you!