feat(lean): add example keyword