chore(frontends/lean/elaborator): cleanup

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(tests/lua/test.sh): update old script

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel): add strict implicit arguments

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