feat(frontends/lean/scanner): disallow hierarchical names such as 'x.1'
feat(frontends/lean): add variation of the foldl/foldr notation where initial element is suppressed, closes #314

See tests/lean/fold.lean for examples
feat(frontends/lean): add variation of the foldl/foldr notation where initial element is suppressed, closes #314