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