inferRecords

Enables the inference of record declarations.