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