assura-stdlib 0.2.0

Assura standard library contracts and prelude types.

This crate provides:

• Standard library .assura contract files (math, string, collections)
• The prelude: types and contracts auto-imported into every Assura file
• A stable API for querying stdlib definitions