combinators.extras: adding 4bi* and 4bi@.