Allow defrecord to declare a record type without fields