nitc :: MClass :: mclassdefs
# All class definitions (introduction and refinements) var mclassdefs = new Array[MClassDef]