split Reiffen_data.g from Reiffen.g and call the former in examples/doc/*.g
several methods now accept defining equations in the base ring

+ NumeratorOfDifferentialAction
+ AnnihilatingOperators

simplified doc files accordingly