Implement a Reducer for Lambda

[agureev]

Implements recursive beta-reduction of Lambda terms alongside some minor arithmetic reductions. Changes compilation accordingly to compile only reduced terms.

[mariari]

This seems to work fine