fix missnamed raw ffi swap functions
added some of the basic types we'll need to reason about the Padded and Packed Triangular, Hermetian and Symmetric matrices
the best way to test code is with quick check, and the best way do that is to have some ground truth!
This will contain reference slow blas routines in haskell that are easy to audit for correctness