Simplify Type Exports

[Hrdtr]

Describe the feature

// v1.x — separate "Any" types
type GuantrAnyRule = { resource: string; action: string; condition: ... };
type GuantrRule<Meta, Context, ResourceKey> = /* typed version */;
type GuantrAnyRuleCondition = { [key: string]: ... };
type GuantrAnyRuleConditionExpression = [...];

// v2.0 — unified types, untyped when no generics provided
type GuantrRule = { resource: string; action: string; condition?: ... };
type GuantrRule<Meta, Context, ResourceKey> = /* typed version when Meta provided */;
type GuantrRuleCondition = { [key: string]: ... };
type GuantrRuleCondition<Model, Context> = /* typed version when Model provided */;
type GuantrRuleConditionExpression = [...];

Rationale

GuantrAnyRule / GuantrAnyRuleCondition are just GuantrRule / GuantrRuleCondition
without type arguments. Having separate names is confusing and redundant.

Migration

• GuantrAnyRule → GuantrRule (no type args)
• GuantrAnyRuleCondition → GuantrRuleCondition (no type args)
• GuantrAnyRuleConditionExpression → GuantrRuleConditionExpression (no type args)

Implementation Tasks

• Make GuantrRule default to untyped when no Meta is provided
• Make GuantrRuleCondition default to untyped when no Model is provided
• Remove GuantrAnyRule, GuantrAnyRuleCondition, GuantrAnyRuleConditionExpression
• Update all internal code and Storage interface
• Update all documentation

Additional information

• Would you be willing to help implement this feature?
• Can you think of other implementations of this feature?

Final checks

• Check existing issues.