Noted that levelwise free resolutions often suffice.
Justified definition of PR Lie homology.