論理回路アプリケーションのコア・パッケージです。
論理回路自体を表現する型について定義しています。