SKIコンビネータ・deBrujinインデックスに対応

• 「変換」タブを「Import」「Export」に分けた
  • 適切な日本語訳が思いつかない
• SKIコンビネータ <-> ラムダ式 変換を実装
  • SKI -> ラムダ は組み込みマクロとして
  • ラムダ -> SKI は Export タブに
• de Brujin Index <-> ラムダ式 変換を実装
  • de Brujin -> ラムダ は Import タブに
  • ラムダ -> de Brujin は Export タブに