Add examples for the discriminant type rules

Let's add examples to make clear what it means for the discriminant to
have a type.  This makes a "for example" sentence redundant, so let's
drop that.