massive cleanup of Type.java; introduced human-readable toString() and one-instance...