AC-FOVE: MGU for Standard PRVs

* Code refactoring for MGU algorithm (lacking documentation)
* Added terms() method for Prv (StdPrv and CountingFormula)
* Deprecation: Individual, factories for PRVs
* Renamed PRVs to Prvs