Fixed records. Eliminated the distinction between constructors and record definitions.