Base trait of record fields, with functionality common to any type of field owned by any type of record
A simple field that can store and retrieve a value of a given type
Holds meta information and operations on a record
Refined trait for fields owned by a particular record type
Refined trait for fields holding a particular value type