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