pub mod deduction;
pub mod types;
mod properties;
pub mod ops_production;
pub mod ops_construction;
mod string_manip;
mod translate;
pub mod axioms;
pub mod errors;