Record is a indexed set of objects. It can be associated to a RecordType in such a manner that the class of an indexed value object is of the class specified by the RecordType's correspondingly indexed TypeName. <br/>A Record  is a NameSpace for its included attributes.<br/><br/>{locate() = attributes.select()}<br/>                                            -- Record acts as a dictionary on its attributes<br/><br/>{isTypeOf.attribute.select(C)(recordType.attributeTypes.select(C)) }       <br/>                                             -- the type of each attribute is given in the associated RecordType<br/>