Labels.Internal

data label := value

class Has label value record

class Cons label value record

class Project from to

class Subset sub super

class Reflect c r

class Labels r