From the loop space point of view, there are very natural generalizations of this idea. First, we can define higher order orbifold Euler characteristics of (M,G). Second, we can formally consider the spin index
and signature of twisted free loop spaces. This leads to the orbifold elliptic genus of (M,G). I will describe their properties including calculations for "second quantized" manifolds, i.e., for symmetric powers of M.