use coq.coercion.class as the type of coercion classes

use coq.coercion.class as the type of coercion classes #1888