Add implicit argument management to lean frontend.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add implicit argument declarations to lean parser.

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