fix educe bounds

[cdisselkoen]

Description of changes

Fixes bounds on educe-derived PartialOrd and Ord for Type and TypeVariant, and adds a test that Type<RawName> and Type<InternalName> are both Ord. Due to an apparent bug (?) in educe, this also changes cedar-policy-validator to depend on my fork of educe rather than the crates.io release of educe; I opened a PR to educe at magiclen/educe#35.

Issue #, if available

No issue #, but this should fix the CI failure in cedar-policy/cedar-spec#510

Checklist for requesting a review

The change in this PR is (choose one, and delete the other options):

• A change "invisible" to users (e.g., documentation, changes to "internal" crates like cedar-policy-core, cedar-validator, etc.)

I confirm that this PR (choose one, and delete the other options):

• Does not update the CHANGELOG because my change does not significantly impact released code.

I confirm that cedar-spec (choose one, and delete the other options):

• Does not require updates because my change does not impact the Cedar formal model or DRT infrastructure.

I confirm that docs.cedarpolicy.com (choose one, and delete the other options):

• Does not require updates because my change does not impact the Cedar language specification.

[john-h-kastner-aws]

For future reference: The PR text is out of date f75b972 was able to remove the dep on the fork