Use instance of realType once we get one

[proux01]

In theories/normedtype.v

(* Ideally, R should be an instance of realType here,                                                            
   rather than a section variable. *)

C.f. #1347