Added paragraph to user's guide about Nominal role for Set