Export constructors of record types (but not field names)