feat(lean): add 'example' keyword