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.
Merge pull request #1 from aavogt/master

use DataKinds