string short()

All objects must have a short() function. This function returns
a short message describing what it is.

See also: long().
