nitc :: MModule :: intro_mclasses=
# All the classes introduced in the module var intro_mclasses = new Array[MClass]