Equal

Equal prefixes paths whose first two elements are identical with 1, and all other paths with 0.

    Equal:
       <> == 0 Idem
       <$x $x> == 1 Idem.
    
    Equal:<a b c> = 0 a b c.
    Equal:<b b c> = 1 b b c.