Define an algebraic sum type capability with implication hierarchies

Define an algebraic product type context with propagation strategies

Define an algebraic sum type intent with capability requirements

Define a variant for algebraic sum types (capability version)

Define a composition strategy for algebraic product types

Define a variant for algebraic sum types (intent version)