"Context" --> "LContext" (lambda context)
lambdaVars, lambdaVarsT
Eliminate explicit LContext argument. Simplified rLam. mkApplyUnit.
add containers dependency (for Data.Map)
misc tidying
misc small tweaks
tweak for Neil's congruence combinator generalization
Merge branch 'master' of github.com:ku-fpg/lambda-ccc

Conflicts:
	src/LambdaCCC/Core.hs

merge with Neil's changes