improvements: (i) more general approach through quantum families of
  isometries, following Woronowicz and Soltan's ideas; (ii) construction of
  equivaraint spectral triples. also some minor changes. Improved and enlarged
  version of ICTP preprint IC/2007/017