pretty print debugging for data type defs, fixed another mistake