Restore backward compatibility with Flocq 3.0.0
The change of "Variable Hp : (0 < prec)%Z" to a typeclass in file Prop/Relative.v in previous commit 7ec13200 might appeared sensible but it broke backward compatibility with Flocq 3.0.0. This commit restores it.