Improve lean pretty printer support for implicit argument annotations

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add basic support for hiding implicit arguments when pretty printing.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>