feat(frontends/lean): make the first argument of if-expression implicit, add support for marking implicit arguments on builtin symbols (aka semantic attachments)

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