Get rid of Ppat_implicit
Implement proper pretty printing for implicit arguments
WIP, escape caught
Turn arguments in application into a type on its own

Make expression mutable: implicit will fill the expression during
resolution.
Substitute implicit types on application.

WIP: should just introduce type variables and gather constraints.
Add function to instantiate implicit