Refactor packages 'model' and 'spec' with tests

Refactor ParametricPropertyProcessor to ParametricPropertyModel, IndexingUtils and move some code to the *Args classes
Refactor related tests, rewrite ModelVerifier for ParametricPropertyModels
Various related improvements