Böhm tree generator for lambda terms