Extends SAC to support record types. These records allow the conceptual grouping of non-homogeneous data. Rather than supporting records at runtime, the fields of records are expanded into new variables based on the idea of lightweight records of Hraban Luyat. The implementation disallows recursive records, and restricts fields to be of a known size. This enables defining arrays of such records.