Definitions, listings, references updated.