Semantics

• What's the sort name for a nested class?

• Update to reflect recent C++ standardization efforts. Quick fix: change trait for enumerations to use long instead of int as basis.

• Syntax and semantics to specify enough so can write derived classes without looking at code (with Clyde Ruby). Specifying pattern of recursion for subclasses with spec of member functions.

• Way to specify a class that has an open vs. a closed specification.