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