Policy Language - First version

Summary
Syntax and semantics of the extended policy language taking into account the feedback of use cases, plus a complexity analysis pointing out the possible intractability of some reasoning tasks.