An attempt to throw safe static types on top of BLAS. This is just an experimental library for now.