Abstracting away coercion indexes in Classops.