my notation for lambda terms