So [2 [b c]], [1 a] and [0 1] are analogous to the S, K and I combinators respectively. They are not, however, exactly equivalent (at least in the case of [2 [b c]]). The difference seems to lie in the use of the * operator.
The * operator in the definition of *[a [2 [b c]]] prevents it from being treated as a true combinator.