Bird monickered combinators

This module is intended for illustration (the type signatures!) rather than utility.

The 'long reach' Turner set { S, K, I, B, C, S', B', C' }

The Joy et al. set { S, I, B, C, J(alt), S', B', C', J(alt)' }