F1 should be some first order perturbations of a matrix with R1 a lift of the corresponding relations, as in the output of firstOrderDeformations. M is a matrix representing the effect of these perturbations one order higher, and L gives a parameter-free version of the perturbations and lifted relations.
The object correctionMatrix is a method function.