Remove HierarchyNotRespected validation error

[khieta]

Describe the improvement you'd like to request

According to this comment we return the HierarchyNotRespected error in some cases where we could soundly type an expression as False. This error was introduced (IIRC) to avoid having to update the Dafny type soundness proof.

Now that we've switched to using Lean, and tweaked the validation property being tested, I wonder if we could remove this error variant.

Describe alternatives you've considered

No response

Additional context

No response

Is this something that you'd be interested in working on?

• 👋 I may be able to implement this internal improvement
• ⚠️ This feature might incur a breaking change

[john-h-kastner-aws]

May depend on #539, but with that we definitely can. Haven't thought about what we can do given your tweak to the property being tested.

[mwhicks1]

I have a customer use-case that would benefit from this change. It makes conceptual sense to do this -- impossible policies due to in checks not being respected will be flagged by another mechanism.