Check that only allowed members are added to a class in the constructor.

This was done using a new concept of a class that is in construction.
This concept will be useful later, to help ensure we don't use an
object that is partially-constructed.