Macro decl_type

macro_rules! decl_type {
    ($w:expr, $env:expr, $ty:ty) => { ... };
    ($w:expr, $env:expr, $ty:ty => $new:expr) => { ... };
}

Declares the binding for a given type