praca nad prelim
introduced equivariantly definable pp-formulas
the main algebraic results now refer to equivariantly pp-definable relations, as required
minor changes
Merge branch 'prelim'
Merge branch 'algebra'