- methods for context assignment to IndexedClassExpressions are now not
public; they should now be accessed through the saturation state
- renamed ContextInitializationStage to ContextAssignmentResetStage;
some small optimizations