Anodized Logic

Provides helpers to embed non-trivial elements of logic into Rust code, meant to be used in Anodized specifications.