rain_lang
macro_rules! value_judgemental_equality { ($v:ty) => { ... }; }
Implement judgemental equality with ValueEnum, and ValId from JEq<ValueEnum>
ValueEnum
ValId
JEq<ValueEnum>