Macro rain_lang::trivial_judgemental_equality

macro_rules! trivial_judgemental_equality {
    ($l:ty, $r:ty) => { ... };
    ($l:ty, $r:ty, comm) => { ... };
    ($p:ty) => { ... };
}

Set judgemental equality between two types to be the same as PartialEq