Policy Language V2

Summary
Development of the Policy Language syntax and algorithms to algorithms to synthesise policies for derived data (T2.1).