Macro warn

macro_rules! warn {
    ($when: expr, $tok: expr, $($msg:tt)*) => { ... };
}

emit a warning when the expression is verified