Abstract types changed to records.