Bool+Z+Lambda+as+{}+Let