More uniform string representation of ADTs