First, we need documentation on the alternative ways to represent constraints. For example, the table currently gives 'a contained_by b' syntax but doesn't mention the more common 'contained_by(a myNameForA)' and variants of that.

Second, we need documentation for all the changes/improvements that have been made by the WillowGarage team this summer.

Some of the WillowGarage stuff has been done, but we're also missing documentation of eq/neq, and foreach is hard to find in the documetation. Clean this up!

Also, why are eq/neq, etc, not included in NDDL.g which is intended to be the definitive source of all possible NDDL syntax? Unlike temporal constraints, they must be registered in a different way?