_lean(Symbol) doesn't project if not necessary

Thanks @mwiebe for bringing this up