Class type Toplevel_comments.ct

Doc of ct, part 1.

Doc of ct, part 2.