Summary now displays the right labels in the right order

Introduced the notion of DiscreteType, which allows the Type to
advertise the Range of a Property; we use that to choose the rows.

Fixed a couple of bugs that were revealed thereby.