for FRAs that are cleared , i guess that they must be settled in arrears?
(eg for a 1x4 FRA, in contrast to the old world where it would have been setteled in 1 month and the payout was (F-K)*0.25/(1+F*0.25) , i suppose for cleared the payout would be in 4 months of (F-K)*0.25 ? )
To the best of my knowledge, the ISDA definition have not been changed for cleared trades. Most FRA are settled using the ISDA "FRA Discounting" method that you described (except for the exact value of the accrual factor) for both bilateral and cleared trades.
You still need to compute (convexity/timing) adjustments between FRA rates and vanilla swap Ibor coupon rates.
In general, clearing and VM generalisation have not changed the instruments term sheet, even if there is room for improvements.
Marc