printing support for declare-datatypes