data label := value

class Has label value record

class Cons label value record

class Project from to