correct module names in DcpTests
use DataKinds for Mono and Vex

HuberTestSpec.hs ellipsoid fails but it is like that on my machine
without these changes.