mod kind;
mod normalization;
mod typecheck;
pub use kind::*;
pub use normalization::*;
pub use typecheck::*;