reader: remove read-ctor, record constructors will be implemented using the data-readers mechanism