combinators.extras: adding 4bi and 4tri.