Beginnings of displaying info about Types

Not done yet -- most still have to be written -- but the machinery is
working.