Use equivalence types in a couple more spots.

src/csv.m:
	As above.