Re-write

This post has been re-written as two posts:

• Understanding Domains and Attributes

• Class, Type, Set, Relvar, and Relatio