ComparisonValue is an AST node representing a value we're going to compare with: a constant, a variable, a moment in time or a calendar date.

Condition is a predicate condition on a credential attribute.

CredentialValue is an AST node that represents data on the credential.

Scope represents all of the context needed to evaluate the condition.