シーケント計算、ムービー、高次圏

セルの次元は描画時にbump upしているので、描画キャンバス次元は1次元上がっている。

高次圏	シーケント	ムービー
0-セル	命題	絵の一部（ワイヤー）
1-セル	シーケント	スチル
2-セル	推論、証明	トランジション、ムービー
3-セル	証明の変形	ムービームーブ

ムービーは、バートレット（bartlett）のwire diagramのように、ストリング図とペースティング図（アロー図）のハイブリッドになる。