+ alignment in Type.toString