import java.io.*;

*noparse* 
//============================================================
// Type Registry
//------------------------------------------------------------
TypeRegistry = List(BasicType)
  .
BasicType :
  IntrinsicType | DefinedType
  *common*
    <name> TypeName
  .
IntrinsicType =
  .
DefinedType :
  ClassType | NonClassType 
  *common*
    <header> HeaderFile
  .
NonClassType =
  .
ClassType :
  SimpleClassType | TemplatedClassType
  .
SimpleClassType =
  .
TemplatedClassType =
  <args> TemplateArgs
  .

TypeName = <value> String .
HeaderFile = <name> String .
TemplateArgs = <value> String .

//============================================================
// Program classes
//------------------------------------------------------------
Main = .

//============================================================
// Utilities
//------------------------------------------------------------
List(E) ~ {E}.