Removed old prose that is irrelevant, added denotational semantics for thocons.

Needs matches definition and explanation of "top level" thocons that can carry closed thocons (closed with environments).