チューリング完全である事と、「素直に」拡張してLISPを構成できることは別な気もする