スコープ効果とハンドラのための計算

代数的効果とハンドラに加えて、スコープ効果とハンドラをサポートする新しい計算λscを紹介します。