[Mapping]

def Mapping : [
  Entry
  def Entry {
     Key : Goose
     Value : Moose
  }
]


def Goose : < Goose Gander >
def Moose : Goose+ < Loose >