Work around bug 3638

This is https://coq.inria.fr/bugs/show_bug.cgi?id=3638, "Anomaly: Bad
recursive type. Please report." on [set]ting an evar involving
primitive projections