37 pages, 2 figures; v2 has added references, slightly expanded
  discussion of algorithmic recognizability, more balanced account of early
  developments; v3 has clarifications in the discussion of equivariant
  symplectic cohomology; v4 with terminology change (Liouville instead of
  Weinstein), by popular request; v5, one nasty typo removed