Added a converter from lambda calculus to CCC compositions.
Added implementations for ghci prompt testing.
notes on the CCC thing