Definitions of Types. Issue 16 (2003)