record printing continued, and constant polymorphic variant ctors