Added generator for lambda terms
Refactoring lambda-term generator