Macro value_judgemental_equality

macro_rules! value_judgemental_equality {
    ($v:ty) => { ... };
}

Implement judgemental equality with ValueEnum, and ValId from JEq<ValueEnum>