Transparency and compliance checking - First version

Summary
Efficient algorithms for compliance checking and explanations, supporting the extended policy language described in D2.1.