Added a large number of new definitions; see the file list for details.