default type printing reimplemented