module signature/TYPE
signature
  sorts TYPE // semantic type
  constructors
    INT    : TYPE
    STRING : TYPE
    STREAM : TYPE