refactor(frontends/lean): remove 'including' expressions
refactor(frontends/lean): remove 'including' expressions