small refactoring on <record-type>
user-defined printers for record objects