v0.1: * Fixed: H_N is not compact, e^{-H_N} is. * Fixed: Removed confusing discussion of Anyons * Added: Discussion of compactness.