Macro dmntk_evaluator::not_implemented

macro_rules! not_implemented {
    ($l:expr) => { ... };
}

Traces invalid type of the value encountered during evaluation. Usually another type is expected in evaluated expression.