Macro wrap_binder

macro wrap_binder {
    ($expr:expr) => { ... },
    ($expr:expr ; $ty:ty) => { ... },
}

Wrap a type into an unsafe binder.