add coercion and cayley in CI