...
There is a proposal for handling another dimension policy typintyping and design in Self Serve Design IssuesIssues#Option2:DerivedPolicyTypes. This seems to be an orthogonal but related issue so if both get implemented it would seem useful to consider their interactions.