Use domain.coordinate_element() where applicable and comment on a
couple of places to rewrite later.