Add ajustments to strategies, a new base combinator "proj" and tests for strategies.
- future work : implement call by value in lambda calculus