fix(kernel/for_each_fn): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/parser): add parse_id method

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