データ構造の見直しによりパフォーマンスが向上しました。まだ不安定で実用には適さないかもしれません。mana/Makefileのall: ncの行をall : bcに書き換え、環境変数OCAMLRUNPARAM=bとすることにより例外発生時にバックトレースを取得できます。