Fix apartness to be in Type rather than Prop

It seems that apartness needs to be phrased with `+` rather than `\/`,
otherwise we cannot prove that `R` forms a field.