EvCast needs to take a representational coercion

as the coercions for type literals are of that role.