--------------------------------------------------------------------------------
--                                                                            --
-- some type synonyms                                                         --
--                                                                            --
--------------------------------------------------------------------------------

type List = []

type Msg = String
type Name = String

type Loc = Int
type Level = Int

--------------------------------------------------------------------------------
           

