トップレベルの環境は自明に分かるからclosureに含まれてなくてもいいと思う。
普通closureといったら関数のコード＋自由変数の記憶領域じゃない？

closureとcontinuationを内部で区別するかどうかは実装しだいだと思う。
continuationは意味的には暗黙に渡されてるclosure。

ところで、実際には自由変数を持たないclosureも存在することを考えると、
primitiveとか、C言語の関数とかも含めて「関数はclosure」と呼んでも
悪くないと思う。