[bitc-dev] Conceptual discussion of copy compatibility

[Jonathan S. Shapiro]

One notion that has emerged as important in understanding the BitC type
system is the notion of "copy compatibility". I have added a discussion
of this in section 3.7, and I have added the associated
intrinsic/primitive type classes in new section 4.4.

If you plan to enter the "name that type class" contest, this may be
helpful stuff.

shap