added evaluation for name notation lambda terms