pub mod term;
pub mod display;
pub mod reduction;
pub mod arithmetic;
pub mod booleans;
pub mod list;