Renames the direct base type specification.
Removes the precondition helper.
Makes the direct base specification immutable.
Makes the interface specification immutable.
Makes the parameter specification immutable.
Makes the property specification immutable.
Makes the field specification immutable.