Data.NamedRecord

class Property o n v

add

data a := b

data a :+ b

record

has

class RecordTemplate a b c