make list.<lemma> work again

This is similar to but not the same as what we do with bi in Iris because there we want people to always only use bi.<...> by default, whereas the list lemmas we do want to be available in the global namespace as well.