And

And maps a path prefix consisting exclusively of booleans to the boolean true symbol if it only contains boolean true symbols, and to the boolean false symbol otherwise. The rest of the path is returned unchanged.

    And:
        <>  == 1 Idem
        <0> == 0 Strip:<>
        <1> == And:<>.
    
    Strip:
        <>  == Idem
        <0> == Strip:<>
        <1> == Strip:<>.
    
    And:<1 0 0 1 0> = 0.
    And:<1 1 1 1 1> = 1.
    And:<1 1 1 1 1 foo 0> = 1 foo 0.