use DataKinds

This lets you do away with Mon and Vex constraints, so most of HVX.Primitives wouldn't need type signatures.