let
all = [u; la; p; bv; cop; pprod; app; arr; bvarith]