First version of policy specification language and model

Summary
It provides a preliminary version of the model and language for policy specification. (T3.2)