import java.io.*;

//============================================================
// Type Registry
//------------------------------------------------------------
TypeRegistry = List(BasicType)
  .
BasicType :
  IntrinsicType | DefinedType
  *common*
    <name> TypeName
  .
IntrinsicType = "intrinsic"
  .
DefinedType :
  ClassType | NonClassType 
  *common*
    "header:" <header> HeaderFile
  .
NonClassType = "type"
  .
ClassType :
  SimpleClassType | TemplatedClassType
  .
SimpleClassType = "class"
  .
TemplatedClassType = "template"
  <templateArgs> String
  "class"
  .

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

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

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