First attempt to write a generator for lambda terms