Added an exposition on the calculation of the Koszul complex for PR Lie algebras.
Various edits of recipes.