* Fix an inconsistency in parsing precedence: 'f x . y' was parsed as '(f x). y' and pretty-printed the other way.
* Extend the deadline.
Remove check is_instance_of from type_application

This is going to be checked by dictionary elaboration
Merge remote-tracking branch 'upstream/master'