//! Work in Progress: everything related to types, type inference and trait
//! solving.

pub mod primitive;