Extraction to F# : fix the printing of record projections

 Moreover, since there appears to be an issue with the qualified syntax
 t.M.f, we use instead the projection functions (M.f t).